Module isotope::ast[][src]

Expand description

Convert isotope terms to abstract syntax trees

Modules

ast

An abstract syntax tree for the textual representation of isotope

Structs

Annotated

An annotated term

App

A function application

Branch

A branch of a case expression

Case

A case expression

Enum

An enumeration

FullyAnnotated

Print out all annotations for non-universe terms

Join

A join statement

Lambda

A lambda function

Let

A let statement

PartiallyTyped

Print out transported annotations and parameter types

Pi

A dependent function type

Scope

A scope

Universe

A typing universe

Enums

Expr

An isotope expression

Form

A reduction form

Stmt

An isotope statement

Traits

ToAst

A term which can be convered to an AST in a given context

ToAstCtx

A context for converting terms to ASTs

Functions

to_raw_pretty

Convert a term to it’s un-annotated prettyprinted string